1 |
Simple Type Theory with Undefinedness, Quotation, and Evaluation∗
|
|
|
|
In: http://imps.mcmaster.ca/doc/stt-with-uqe.pdf (2014)
|
|
BASE
|
|
Show details
|
|
2 |
The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation?
|
|
|
|
In: http://imps.mcmaster.ca/doc/quote-eval.pdf (2013)
|
|
BASE
|
|
Show details
|
|
3 |
The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation ⋆
|
|
|
|
In: http://imps.mcmaster.ca/doc/quote-eval.pdf (2013)
|
|
BASE
|
|
Show details
|
|
4 |
Frameworks for reasoning about syntax that utilize quotation and evaluation
|
|
|
|
In: http://imps.mcmaster.ca/doc/syntax.pdf (2013)
|
|
BASE
|
|
Show details
|
|
5 |
Project EuDML--A First Year Demonstration
|
|
|
|
In: Intelligent Computer Mathematics ; Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011 ; https://hal.archives-ouvertes.fr/hal-00658076 ; Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Jul 2011, Bertinoro, Italy. pp.281-284, ⟨10.1007/978-3-642-22673-1_21⟩ (2011)
|
|
BASE
|
|
Show details
|
|
6 |
A Verified Compiler for Multithreaded PreScheme
|
|
|
|
In: http://repository.readscheme.org/ftp/papers/vlisp/mtps.ps.gz (1996)
|
|
BASE
|
|
Show details
|
|
|
|